functor x86LexFun(structure Tokens : x86_TOKENS)=
   struct
    structure UserDeclarations =
      struct
structure E = AsmErrorMsg

type pos = int

type svalue = Tokens.svalue
type ('a,'b) token = ('a,'b) Tokens.token
type lexresult  = (svalue, pos) token

val lineNum = E.lineNum
val linePos = E.linePos
  
val eof = (fn () => let val pos = List.hd(!linePos)
                    in  Tokens.EOF(pos, pos)
                    end)

end (* end of user routines *)
exception LexError (* raised if illegal leaf action tried *)
structure Internal =
	struct

datatype yyfinstate = N of int
type statedata = {fin : yyfinstate list, trans: string}
(* transition & final state table *)
val tab = let
val s = [ 
 (0, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (1, 
"\007\007\007\007\007\007\007\007\007\146\148\007\007\007\007\007\
\\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\007\
\\146\144\007\142\141\126\124\007\123\122\007\007\121\119\088\007\
\\086\086\086\086\086\086\086\086\086\086\085\007\083\081\079\007\
\\007\010\010\010\010\010\010\010\010\010\010\010\010\010\010\010\
\\010\010\010\010\010\010\010\010\010\010\010\007\007\007\007\010\
\\007\075\010\065\010\010\061\010\010\052\046\010\040\031\010\010\
\\023\010\020\016\010\010\010\010\012\010\010\007\008\007\007\007\
\\007"
),
 (3, 
"\149\149\149\149\149\149\149\149\149\149\150\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\149\
\\149"
),
 (5, 
"\151\151\151\151\151\151\151\151\151\248\250\151\151\151\151\151\
\\151\151\151\151\151\151\151\151\151\151\151\151\151\151\151\151\
\\248\246\151\244\151\229\227\151\226\225\224\223\222\219\218\217\
\\215\215\215\215\215\215\215\215\215\215\214\213\210\207\205\151\
\\151\156\156\156\204\156\156\156\156\156\156\156\156\156\203\156\
\\201\156\156\156\156\156\156\156\156\156\156\200\151\199\151\156\
\\151\156\156\156\156\193\187\156\156\184\156\156\180\156\156\156\
\\174\156\156\168\162\156\156\158\156\156\156\155\153\152\151\151\
\\151"
),
 (8, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\009\000\000\000\
\\000"
),
 (10, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (12, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\013\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (13, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\014\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (14, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\015\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (16, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\017\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (17, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\018\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (18, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\019\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (20, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\021\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (21, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\022\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (23, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\028\
\\011\011\011\011\011\024\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (24, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\025\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (25, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\026\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (26, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\027\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (28, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\029\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (29, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\030\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (31, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\035\011\011\011\011\011\011\011\011\011\011\011\011\011\032\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (32, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\033\011\011\011\011\000\000\000\000\000\
\\000"
),
 (33, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\034\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (35, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\036\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (36, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\037\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (37, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\038\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (38, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\039\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (40, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\041\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (41, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\042\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (42, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\045\011\011\011\
\\011\011\011\011\011\011\043\011\011\011\011\000\000\000\000\000\
\\000"
),
 (43, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\044\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (46, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\051\011\049\011\011\011\011\011\047\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (47, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\048\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (49, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\050\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (52, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\057\011\011\011\011\011\011\011\011\053\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (53, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\054\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (54, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\055\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (55, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\056\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (57, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\058\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (58, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\059\011\011\011\011\000\000\000\000\000\
\\000"
),
 (59, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\060\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (61, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\062\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (62, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\063\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (63, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\064\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (65, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\072\011\011\011\011\011\011\011\011\011\011\069\066\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (66, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\067\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (67, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\068\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (69, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\070\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (70, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\071\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (72, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\073\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (73, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\074\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (75, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\076\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (76, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\077\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (77, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\078\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (79, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\080\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (81, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\082\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (83, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\084\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (86, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\087\087\087\087\087\087\087\087\087\087\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (88, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\114\011\011\110\106\011\101\011\011\011\011\097\011\011\011\
\\011\011\093\011\089\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (89, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\090\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (90, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\091\011\011\000\000\000\000\000\
\\000"
),
 (91, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\092\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (93, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\094\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (94, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\095\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (95, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\096\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (97, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\098\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (98, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\099\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (99, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\100\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (101, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\102\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (102, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\103\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (103, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\104\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (104, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\105\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (106, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\107\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (107, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\108\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (108, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\109\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (110, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\111\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (111, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\112\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (112, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\113\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (114, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\115\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (115, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\116\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (116, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\117\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (117, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\011\000\
\\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\000\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\011\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\011\
\\000\011\011\011\011\011\011\011\011\011\011\011\011\011\118\011\
\\011\011\011\011\011\011\011\011\011\011\011\000\000\000\000\000\
\\000"
),
 (119, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\120\120\120\120\120\120\120\120\120\120\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (124, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\125\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (126, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\127\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (127, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\139\136\134\131\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\128\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (128, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\130\000\000\000\000\000\000\
\\129\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (131, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\133\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\132\000\000\000\000\000\000\000\
\\000"
),
 (134, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\135\000\000\000\000\000\000\000\
\\000"
),
 (136, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\138\000\000\000\000\000\000\000\137\000\000\000\000\000\000\000\
\\000"
),
 (139, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\140\000\000\000\000\000\000\000\
\\000"
),
 (142, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\143\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (144, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\145\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (146, 
"\000\000\000\000\000\000\000\000\000\147\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\147\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (153, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\154\000\000\000\
\\000"
),
 (156, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (158, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\159\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (159, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\160\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (160, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\161\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (162, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\163\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (163, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\166\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\164\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (164, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\165\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (166, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\167\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (168, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\169\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (169, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\170\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (170, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\171\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (171, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\172\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (172, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\173\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (174, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\177\
\\157\157\175\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (175, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\176\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (177, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\178\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (178, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\179\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (180, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\181\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (181, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\182\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (182, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\183\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (184, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\185\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (185, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\186\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (187, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\188\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (188, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\189\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (189, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\190\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (190, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\191\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (191, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\192\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (193, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\194\157\157\000\000\000\000\000\
\\000"
),
 (194, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\195\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (195, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\196\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (196, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\197\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (197, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\198\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (201, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\157\000\
\\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\000\
\\000\157\157\157\157\157\157\157\157\157\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\157\
\\000\157\157\157\157\157\157\157\157\202\157\157\157\157\157\157\
\\157\157\157\157\157\157\157\157\157\157\157\000\000\000\000\000\
\\000"
),
 (205, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\206\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (207, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\209\208\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (210, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\211\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (211, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\212\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (215, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\216\216\216\216\216\216\216\216\216\216\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (219, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\221\221\221\221\221\221\221\221\221\221\000\000\000\000\220\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (221, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\221\221\221\221\221\221\221\221\221\221\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (227, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\228\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (229, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\230\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (230, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\242\239\237\234\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\231\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (231, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\233\000\000\000\000\000\000\
\\232\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (234, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\236\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\235\000\000\000\000\000\000\000\
\\000"
),
 (237, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\238\000\000\000\000\000\000\000\
\\000"
),
 (239, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\241\000\000\000\000\000\000\000\240\000\000\000\000\000\000\000\
\\000"
),
 (242, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\243\000\000\000\000\000\000\000\
\\000"
),
 (244, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\245\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (246, 
"\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\247\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
 (248, 
"\000\000\000\000\000\000\000\000\000\249\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\249\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\000\
\\000"
),
(0, "")]
fun f x = x 
val s = map f (rev (tl (rev s))) 
exception LexHackingError 
fun look ((j,x)::r, i) = if i = j then x else look(r, i) 
  | look ([], i) = raise LexHackingError
fun g {fin=x, trans=i} = {fin=x, trans=look(s,i)} 
in Vector.fromList(map g 
[{fin = [], trans = 0},
{fin = [], trans = 1},
{fin = [], trans = 1},
{fin = [], trans = 3},
{fin = [], trans = 3},
{fin = [], trans = 5},
{fin = [], trans = 5},
{fin = [(N 435)], trans = 0},
{fin = [(N 435)], trans = 8},
{fin = [(N 225)], trans = 0},
{fin = [(N 424),(N 435)], trans = 10},
{fin = [(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 12},
{fin = [(N 424)], trans = 13},
{fin = [(N 424)], trans = 14},
{fin = [(N 197),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 16},
{fin = [(N 424)], trans = 17},
{fin = [(N 424)], trans = 18},
{fin = [(N 192),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 20},
{fin = [(N 424)], trans = 21},
{fin = [(N 187),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 23},
{fin = [(N 424)], trans = 24},
{fin = [(N 424)], trans = 25},
{fin = [(N 424)], trans = 26},
{fin = [(N 178),(N 424)], trans = 10},
{fin = [(N 424)], trans = 28},
{fin = [(N 424)], trans = 29},
{fin = [(N 183),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 31},
{fin = [(N 424)], trans = 32},
{fin = [(N 424)], trans = 33},
{fin = [(N 172),(N 424)], trans = 10},
{fin = [(N 424)], trans = 35},
{fin = [(N 424)], trans = 36},
{fin = [(N 424)], trans = 37},
{fin = [(N 424)], trans = 38},
{fin = [(N 167),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 40},
{fin = [(N 424)], trans = 41},
{fin = [(N 424)], trans = 42},
{fin = [(N 424)], trans = 43},
{fin = [(N 160),(N 424)], trans = 10},
{fin = [(N 154),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 46},
{fin = [(N 424)], trans = 47},
{fin = [(N 149),(N 424)], trans = 10},
{fin = [(N 141),(N 424)], trans = 49},
{fin = [(N 145),(N 424)], trans = 10},
{fin = [(N 138),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 52},
{fin = [(N 424)], trans = 53},
{fin = [(N 424)], trans = 54},
{fin = [(N 424)], trans = 55},
{fin = [(N 135),(N 424)], trans = 10},
{fin = [(N 424)], trans = 57},
{fin = [(N 424)], trans = 58},
{fin = [(N 424)], trans = 59},
{fin = [(N 129),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 61},
{fin = [(N 424)], trans = 62},
{fin = [(N 424)], trans = 63},
{fin = [(N 123),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 65},
{fin = [(N 424)], trans = 66},
{fin = [(N 424)], trans = 67},
{fin = [(N 118),(N 424)], trans = 10},
{fin = [(N 424)], trans = 69},
{fin = [(N 424)], trans = 70},
{fin = [(N 113),(N 424)], trans = 10},
{fin = [(N 424)], trans = 72},
{fin = [(N 424)], trans = 73},
{fin = [(N 108),(N 424)], trans = 10},
{fin = [(N 424),(N 435)], trans = 75},
{fin = [(N 424)], trans = 76},
{fin = [(N 424)], trans = 77},
{fin = [(N 103),(N 424)], trans = 10},
{fin = [(N 208),(N 435)], trans = 79},
{fin = [(N 206)], trans = 0},
{fin = [(N 229),(N 435)], trans = 81},
{fin = [(N 216)], trans = 0},
{fin = [(N 213),(N 435)], trans = 83},
{fin = [(N 211)], trans = 0},
{fin = [(N 56),(N 435)], trans = 0},
{fin = [(N 431),(N 435)], trans = 86},
{fin = [(N 431)], trans = 86},
{fin = [(N 424),(N 435)], trans = 88},
{fin = [(N 424)], trans = 89},
{fin = [(N 424)], trans = 90},
{fin = [(N 424)], trans = 91},
{fin = [(N 8),(N 424)], trans = 10},
{fin = [(N 424)], trans = 93},
{fin = [(N 424)], trans = 94},
{fin = [(N 424)], trans = 95},
{fin = [(N 40),(N 424)], trans = 10},
{fin = [(N 424)], trans = 97},
{fin = [(N 424)], trans = 98},
{fin = [(N 424)], trans = 99},
{fin = [(N 34),(N 424)], trans = 10},
{fin = [(N 424)], trans = 101},
{fin = [(N 424)], trans = 102},
{fin = [(N 424)], trans = 103},
{fin = [(N 424)], trans = 104},
{fin = [(N 22),(N 424)], trans = 10},
{fin = [(N 424)], trans = 106},
{fin = [(N 424)], trans = 107},
{fin = [(N 424)], trans = 108},
{fin = [(N 46),(N 424)], trans = 10},
{fin = [(N 424)], trans = 110},
{fin = [(N 424)], trans = 111},
{fin = [(N 424)], trans = 112},
{fin = [(N 28),(N 424)], trans = 10},
{fin = [(N 424)], trans = 114},
{fin = [(N 424)], trans = 115},
{fin = [(N 424)], trans = 116},
{fin = [(N 424)], trans = 117},
{fin = [(N 15),(N 424)], trans = 10},
{fin = [(N 48),(N 435)], trans = 119},
{fin = [(N 428)], trans = 119},
{fin = [(N 50),(N 435)], trans = 0},
{fin = [(N 54),(N 435)], trans = 0},
{fin = [(N 52),(N 435)], trans = 0},
{fin = [(N 435)], trans = 124},
{fin = [(N 222)], trans = 0},
{fin = [(N 435)], trans = 126},
{fin = [], trans = 127},
{fin = [], trans = 128},
{fin = [(N 98)], trans = 0},
{fin = [(N 88)], trans = 0},
{fin = [], trans = 131},
{fin = [(N 78)], trans = 0},
{fin = [(N 83)], trans = 0},
{fin = [], trans = 134},
{fin = [(N 73)], trans = 0},
{fin = [], trans = 136},
{fin = [(N 68)], trans = 0},
{fin = [(N 93)], trans = 0},
{fin = [], trans = 139},
{fin = [(N 63)], trans = 0},
{fin = [(N 58),(N 435)], trans = 0},
{fin = [(N 199),(N 435)], trans = 142},
{fin = [(N 232)], trans = 0},
{fin = [(N 227),(N 435)], trans = 144},
{fin = [(N 219)], trans = 0},
{fin = [(N 2),(N 435)], trans = 146},
{fin = [(N 2)], trans = 146},
{fin = [(N 433)], trans = 0},
{fin = [(N 203)], trans = 0},
{fin = [(N 201)], trans = 0},
{fin = [(N 421)], trans = 0},
{fin = [(N 399),(N 421)], trans = 0},
{fin = [(N 421)], trans = 153},
{fin = [(N 290)], trans = 0},
{fin = [(N 397),(N 421)], trans = 0},
{fin = [(N 409),(N 421)], trans = 156},
{fin = [(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 158},
{fin = [(N 409)], trans = 159},
{fin = [(N 409)], trans = 160},
{fin = [(N 388),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 162},
{fin = [(N 409)], trans = 163},
{fin = [(N 409)], trans = 164},
{fin = [(N 383),(N 409)], trans = 156},
{fin = [(N 409)], trans = 166},
{fin = [(N 378),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 168},
{fin = [(N 409)], trans = 169},
{fin = [(N 409)], trans = 170},
{fin = [(N 409)], trans = 171},
{fin = [(N 409)], trans = 172},
{fin = [(N 373),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 174},
{fin = [(N 409)], trans = 175},
{fin = [(N 361),(N 409)], trans = 156},
{fin = [(N 409)], trans = 177},
{fin = [(N 409)], trans = 178},
{fin = [(N 366),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 180},
{fin = [(N 409)], trans = 181},
{fin = [(N 409)], trans = 182},
{fin = [(N 357),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 184},
{fin = [(N 409)], trans = 185},
{fin = [(N 352),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 187},
{fin = [(N 409)], trans = 188},
{fin = [(N 409)], trans = 189},
{fin = [(N 409)], trans = 190},
{fin = [(N 409)], trans = 191},
{fin = [(N 348),(N 409)], trans = 156},
{fin = [(N 409),(N 421)], trans = 193},
{fin = [(N 409)], trans = 194},
{fin = [(N 409)], trans = 195},
{fin = [(N 409)], trans = 196},
{fin = [(N 409)], trans = 197},
{fin = [(N 341),(N 409)], trans = 156},
{fin = [(N 252),(N 421)], trans = 0},
{fin = [(N 250),(N 421)], trans = 0},
{fin = [(N 409),(N 421)], trans = 201},
{fin = [(N 391),(N 409)], trans = 156},
{fin = [(N 393),(N 409),(N 421)], trans = 156},
{fin = [(N 395),(N 409),(N 421)], trans = 156},
{fin = [(N 273),(N 421)], trans = 205},
{fin = [(N 271)], trans = 0},
{fin = [(N 294),(N 421)], trans = 207},
{fin = [(N 406)], trans = 0},
{fin = [(N 281)], trans = 0},
{fin = [(N 278),(N 421)], trans = 210},
{fin = [(N 276)], trans = 211},
{fin = [(N 403)], trans = 0},
{fin = [(N 239),(N 421)], trans = 0},
{fin = [(N 237),(N 421)], trans = 0},
{fin = [(N 416),(N 421)], trans = 215},
{fin = [(N 416)], trans = 215},
{fin = [(N 266),(N 421)], trans = 0},
{fin = [(N 245),(N 421)], trans = 0},
{fin = [(N 262),(N 421)], trans = 219},
{fin = [(N 248)], trans = 0},
{fin = [(N 413)], trans = 221},
{fin = [(N 243),(N 421)], trans = 0},
{fin = [(N 260),(N 421)], trans = 0},
{fin = [(N 264),(N 421)], trans = 0},
{fin = [(N 258),(N 421)], trans = 0},
{fin = [(N 256),(N 421)], trans = 0},
{fin = [(N 421)], trans = 227},
{fin = [(N 287)], trans = 0},
{fin = [(N 268),(N 421)], trans = 229},
{fin = [], trans = 230},
{fin = [], trans = 231},
{fin = [(N 334)], trans = 0},
{fin = [(N 324)], trans = 0},
{fin = [], trans = 234},
{fin = [(N 314)], trans = 0},
{fin = [(N 319)], trans = 0},
{fin = [], trans = 237},
{fin = [(N 309)], trans = 0},
{fin = [], trans = 239},
{fin = [(N 304)], trans = 0},
{fin = [(N 329)], trans = 0},
{fin = [], trans = 242},
{fin = [(N 299)], trans = 0},
{fin = [(N 241),(N 421)], trans = 244},
{fin = [(N 419)], trans = 0},
{fin = [(N 292),(N 421)], trans = 246},
{fin = [(N 284)], trans = 0},
{fin = [(N 235),(N 421)], trans = 248},
{fin = [(N 235)], trans = 248},
{fin = [(N 254)], trans = 0}])
end
structure StartStates =
	struct
	datatype yystartstate = STARTSTATE of int

(* start state definitions *)

val ASSERT = STARTSTATE 5;
val COMMENT = STARTSTATE 3;
val INITIAL = STARTSTATE 1;

end
type result = UserDeclarations.lexresult
	exception LexerError (* raised if illegal leaf action tried *)
end

fun makeLexer yyinput =
let	val yygone0=1
	val yyb = ref "\n" 		(* buffer *)
	val yybl = ref 1		(*buffer length *)
	val yybufpos = ref 1		(* location of next character to use *)
	val yygone = ref yygone0	(* position in file of beginning of buffer *)
	val yydone = ref false		(* eof found yet? *)
	val yybegin = ref 1		(*Current 'start state' for lexer *)

	val YYBEGIN = fn (Internal.StartStates.STARTSTATE x) =>
		 yybegin := x

fun lex () : Internal.result =
let fun continue() = lex() in
  let fun scan (s,AcceptingLeaves : Internal.yyfinstate list list,l,i0) =
	let fun action (i,nil) = raise LexError
	| action (i,nil::l) = action (i-1,l)
	| action (i,(node::acts)::l) =
		case node of
		    Internal.N yyk => 
			(let val yytext = substring(!yyb,i0,i-i0)
			     val yypos = i0+ !yygone
			open UserDeclarations Internal.StartStates
 in (yybufpos := i; case yyk of 

			(* Application actions *)

  103 => (Tokens.ADDL (yypos, yypos + size yytext))
| 108 => (Tokens.CALL (yypos, yypos + size yytext))
| 113 => (Tokens.CLTD (yypos, yypos + size yytext))
| 118 => (Tokens.CMPL (yypos, yypos + size yytext))
| 123 => (Tokens.FREE (yypos, yypos + size yytext))
| 129 => (Tokens.IDIVL (yypos, yypos + size yytext))
| 135 => (Tokens.IMULL (yypos, yypos + size yytext))
| 138 => (Tokens.JE (yypos, yypos + size yytext))
| 141 => (Tokens.JG (yypos, yypos + size yytext))
| 145 => (Tokens.JGE (yypos, yypos + size yytext))
| 149 => (Tokens.JMP (yypos, yypos + size yytext))
| 15 => (Tokens.ALIGN(yypos, yypos + size yytext))
| 154 => (Tokens.LEAL (yypos, yypos + size yytext))
| 160 => (Tokens.LEAVE (yypos, yypos + size yytext))
| 167 => (Tokens.MALLOC (yypos, yypos + size yytext))
| 172 => (Tokens.MOVL (yypos, yypos + size yytext))
| 178 => (Tokens.PUSHL (yypos, yypos + size yytext))
| 183 => (Tokens.POPL (yypos, yypos + size yytext))
| 187 => (Tokens.RET (yypos, yypos + size yytext))
| 192 => (Tokens.SUBL (yypos, yypos + size yytext))
| 197 => (Tokens.XCHG (yypos, yypos + size yytext))
| 199 => (YYBEGIN COMMENT; continue())
| 2 => (continue())
| 201 => (YYBEGIN INITIAL; lineNum := !lineNum+1; linePos := yypos :: !linePos; continue())
| 203 => (continue())
| 206 => (Tokens.GE(yypos, yypos + size yytext))
| 208 => (Tokens.GT(yypos, yypos + size yytext))
| 211 => (Tokens.LE(yypos, yypos + size yytext))
| 213 => (Tokens.LT(yypos, yypos + size yytext))
| 216 => (Tokens.EQ(yypos, yypos + size yytext))
| 219 => (Tokens.NEQ(yypos, yypos + size yytext))
| 22 => (Tokens.GLOBL(yypos, yypos + size yytext))
| 222 => (Tokens.BAND(yypos, yypos + size yytext))
| 225 => (Tokens.BOR(yypos, yypos + size yytext))
| 227 => (Tokens.NOT(yypos, yypos + size yytext))
| 229 => (Tokens.ASSIGN(yypos, yypos + size yytext))
| 232 => (YYBEGIN ASSERT; Tokens.LANNO(yypos, yypos + size yytext))
| 235 => (continue())
| 237 => (Tokens.A_COLON (yypos, yypos + size yytext))
| 239 => (Tokens.A_SEMICOLON (yypos, yypos + size yytext))
| 241 => (continue())
| 243 => (Tokens.A_COMMA(yypos, yypos + size yytext))
| 245 => (Tokens.A_DOT(yypos, yypos + size yytext))
| 248 => (Tokens.A_PTR_OP(yypos, yypos + size yytext))
| 250 => (Tokens.A_LREGU(yypos,yypos + size yytext))
| 252 => (Tokens.A_RREGU(yypos,yypos + size yytext))
| 254 => (lineNum := !lineNum+1; linePos := yypos :: !linePos;continue())
| 256 => (Tokens.A_LPAREN(yypos, yypos + size yytext))
| 258 => (Tokens.A_RPAREN(yypos, yypos + size yytext))
| 260 => (Tokens.A_ADD(yypos, yypos + size yytext))
| 262 => (Tokens.A_MINUS(yypos, yypos + size yytext))
| 264 => (Tokens.A_MUL(yypos, yypos + size yytext))
| 266 => (Tokens.A_DIV(yypos, yypos + size yytext))
| 268 => (Tokens.A_MODUS(yypos, yypos + size yytext))
| 271 => (Tokens.A_GE(yypos,yypos + size yytext))
| 273 => (Tokens.A_GT(yypos,yypos + size yytext))
| 276 => (Tokens.A_LE(yypos,yypos + size yytext))
| 278 => (Tokens.A_LT(yypos,yypos + size yytext))
| 28 => (Tokens.DATA(yypos, yypos + size yytext))
| 281 => (Tokens.A_EQ(yypos,yypos + size yytext))
| 284 => (Tokens.A_NEQ(yypos,yypos + size yytext))
| 287 => (Tokens.A_BAND(yypos,yypos + size yytext))
| 290 => (Tokens.A_BOR(yypos,yypos + size yytext))
| 292 => (Tokens.A_NOT(yypos,yypos + size yytext))
| 294 => (Tokens.A_ASSIGN(yypos, yypos + size yytext))
| 299 => (Tokens.A_EAX(yypos, yypos + size yytext))
| 304 => (Tokens.A_EBX(yypos, yypos + size yytext))
| 309 => (Tokens.A_ECX(yypos, yypos + size yytext))
| 314 => (Tokens.A_EDX(yypos, yypos + size yytext))
| 319 => (Tokens.A_EDI(yypos, yypos + size yytext))
| 324 => (Tokens.A_ESI(yypos, yypos + size yytext))
| 329 => (Tokens.A_EBP(yypos, yypos + size yytext))
| 334 => (Tokens.A_ESP(yypos, yypos + size yytext))
| 34 => (Tokens.LONG(yypos, yypos + size yytext))
| 341 => (Tokens.A_EXISTS(yypos, yypos + size yytext))
| 348 => (Tokens.A_FORALL(yypos, yypos + size yytext))
| 352 => (Tokens.A_INT(yypos,yypos + size yytext))
| 357 => (Tokens.A_LIST(yypos, yypos + size yytext))
| 361 => (Tokens.A_PRE(yypos, yypos + size yytext))
| 366 => (Tokens.A_POST(yypos, yypos + size yytext))
| 373 => (Tokens.A_STRUCT(yypos,yypos + size yytext))
| 378 => (Tokens.A_TREE(yypos, yypos + size yytext))
| 383 => (Tokens.A_TRUE(yypos,yypos + size yytext))
| 388 => (Tokens.A_WILD(yypos, yypos + size yytext))
| 391 => (Tokens.A_PI(yypos, yypos + size yytext))
| 393 => (Tokens.A_N(yypos, yypos + size yytext))
| 395 => (Tokens.A_D(yypos, yypos + size yytext))
| 397 => (Tokens.A_LBRACE(yypos,yypos + size yytext))
| 399 => (Tokens.A_RBRACE(yypos,yypos + size yytext))
| 40 => (Tokens.REPT(yypos, yypos + size yytext))
| 403 => (Tokens.A_IFF(yypos, yypos + size yytext))
| 406 => (Tokens.A_IMPLY(yypos, yypos + size yytext))
| 409 => (Tokens.A_ID(yytext, yypos, yypos + size yytext))
| 413 => (Tokens.A_INTC(Option.valOf(Int.fromString(yytext)), yypos, yypos + size yytext))
| 416 => (Tokens.A_INTC(Option.valOf(Int.fromString(yytext)), yypos, yypos + size yytext))
| 419 => (YYBEGIN INITIAL; Tokens.RANNO (yypos, yypos + size yytext))
| 421 => (E.error yypos ("Invalid character in assertion: "^yytext); continue())
| 424 => (Tokens.ID(yytext, yypos, yypos + size yytext))
| 428 => (Tokens.INTC(Option.valOf(Int.fromString(yytext)), yypos, yypos + size yytext))
| 431 => (Tokens.INTC(Option.valOf(Int.fromString(yytext)), yypos, yypos + size yytext))
| 433 => (lineNum := !lineNum+1; linePos := yypos :: !linePos; continue())
| 435 => (E.error yypos ("Invalid character: "^yytext); continue())
| 46 => (Tokens.ENDR(yypos, yypos + size yytext))
| 48 => (Tokens.MINUS(yypos, yypos + size yytext))
| 50 => (Tokens.COMMA(yypos, yypos + size yytext))
| 52 => (Tokens.LPAREN(yypos, yypos + size yytext))
| 54 => (Tokens.RPAREN(yypos, yypos + size yytext))
| 56 => (Tokens.COLON(yypos, yypos + size yytext))
| 58 => (Tokens.DOLLAR(yypos, yypos + size yytext))
| 63 => (Tokens.EAX (yypos, yypos + size yytext))
| 68 => (Tokens.EBX (yypos, yypos + size yytext))
| 73 => (Tokens.ECX (yypos, yypos + size yytext))
| 78 => (Tokens.EDX (yypos, yypos + size yytext))
| 8 => (Tokens.TEXT(yypos, yypos + size yytext))
| 83 => (Tokens.EDI (yypos, yypos + size yytext))
| 88 => (Tokens.ESI (yypos, yypos + size yytext))
| 93 => (Tokens.EBP (yypos, yypos + size yytext))
| 98 => (Tokens.ESP (yypos, yypos + size yytext))
| _ => raise Internal.LexerError

		) end )

	val {fin,trans} = Vector.sub(Internal.tab, s)
	val NewAcceptingLeaves = fin::AcceptingLeaves
	in if l = !yybl then
	     if trans = #trans(Vector.sub(Internal.tab,0))
	       then action(l,NewAcceptingLeaves
) else	    let val newchars= if !yydone then "" else yyinput 1024
	    in if (size newchars)=0
		  then (yydone := true;
		        if (l=i0) then UserDeclarations.eof ()
		                  else action(l,NewAcceptingLeaves))
		  else (if i0=l then yyb := newchars
		     else yyb := substring(!yyb,i0,l-i0)^newchars;
		     yygone := !yygone+i0;
		     yybl := size (!yyb);
		     scan (s,AcceptingLeaves,l-i0,0))
	    end
	  else let val NewChar = Char.ord(String.sub(!yyb,l))
		val NewState = if NewChar<128 then Char.ord(String.sub(trans,NewChar)) else Char.ord(String.sub(trans,128))
		in if NewState=0 then action(l,NewAcceptingLeaves)
		else scan(NewState,NewAcceptingLeaves,l+1,i0)
	end
	end
(*
	val start= if substring(!yyb,!yybufpos-1,1)="\n"
then !yybegin+1 else !yybegin
*)
	in scan(!yybegin (* start *),nil,!yybufpos,!yybufpos)
    end
end
  in lex
  end
end
